$\forall$${\it loc}$,$x$:Id, $L$:(Knd List). Rrframe(${\it loc}$; $x$; $L$) $\in$ es\_realizer\{i:l\}